non-resolution theorem proving中文是什么意思

• 非解析定理求解

• "non"中文翻译    adv. 〔拉丁语〕非，不是 (＝not)。 non a ...
• "resolution"中文翻译    n. 1.决心，果断；坚定，刚毅。 2.(议会等的)决定 ...
• "theorem"中文翻译    n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
• "prove"中文翻译    vt. ( -d; -d, 〔古、美〕 proven ) ...
• "resolution theorem proving" 中文翻译 :    归结定理证明消解式定理证明
• "resolution theorem-proving" 中文翻译 :    解析定理证明
• "theorem proving" 中文翻译 :    定理证明
• "resolution theorem" 中文翻译 :    分解定理; 归结定理
• "automated theorem proving" 中文翻译 :    自定理明; 自动定理证明
• "automatic theorem proving" 中文翻译 :    自动定理证明
• "mechanical theorem proving" 中文翻译 :    机器证明
• "proving fermat’s last theorem" 中文翻译 :    证明费马最后定理
• "theorem proving machine" 中文翻译 :    定理证明机
• "theorem proving representation" 中文翻译 :    定理证明表示
• "theorem proving technique" 中文翻译 :    定理证明技术
• "proving non-existence" 中文翻译 :    证明不存在
• "be proving" 中文翻译 :    看来是……
• "proving" 中文翻译 :    检验的; 药力试验
• "s theorem" 中文翻译 :    贝叶斯定理
• "theorem" 中文翻译 :    n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
• "resolution" 中文翻译 :    n. 1.决心，果断；坚定，刚毅。 2.(议会等的)决定，决议(案)；【法律】〔罕用语〕判决；(疑问等的)解决，解答。 3.分解，溶解；解析，离析；变形，变化，转化。 4.【医学】(疮肿等的)消散；〔罕用语〕松弛。 5.【音乐】由不谐和音转变为谐和音；【诗】用二短音节代替一长音节。 6.【机械工程】分解力；【自动化】分辨(力)。 a man of no resolution of character 意志不坚定的人。 visual resolution 目力分辨率。 come to a resolution＝from [make, take] a resolution 决心。 make good resolutions 下定改好的决心。 pass a resolution in favour of [against] 通过赞同[反对]…的决议。
• "block proving" 中文翻译 :    闭塞检查
• "correspondence proving" 中文翻译 :    符合检查; 照应确认
• "cross proving" 中文翻译 :    相互检查
• "elementary proving" 中文翻译 :    基本标定